forall(_: T) -> x
